Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS
نویسندگان
چکیده
In diesem Beitrag wird ein SystemC-Modell der Geschwindigkeitsund Abstandsüberwachung aus dem European Train Control System (ETCS) vorgestellt. Dieses Modell dient als Ausgangspunkt für die frühzeitige Abschätzung der Leistungsfähigkeit des Systems und die in der Berechnung entstehenden Datenmengen. Hierfür wurde eine neuartige Methode entwickelt, welche es bei minimalen Anpassungen am Anwendungsmodell erlaubt, schnell unterschiedliche Entwurfsalternativen zu explorieren. Dabei werden SystemCProzesse in Abhängigkeit von Scheduling-Entscheidungen gestartet, deren Kommunikationsverhalten aufgezeichnet und anschließend Ausführungsund Kommunikationszeiten simuliert.
منابع مشابه
Ein Petrinetz-Modell zur Informationsübertragung per Dialog
Zusammenfassung Wir stellen ein abstraktes Modell zur Informationsübertragung per Dialog vor. Dieses Modell erweitert das Grundmodell eines Kommunikationssystems von Shannon um die Möglichkeit der Nachfrage innerhalb einer Informationsübertragung. Für die Modellierung von Information und Informationsbestandteilen führen wir Merkmal-Werte-Relationen ein. Die Steuerung des Informationsflusses rep...
متن کاملAbstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC
Möglichst genaue Simulationen von Digitalschaltungen, die auf nanoelektronischen Komponenten basieren, benötigen abstrakte Modelle, in denen die wesentlichen Eigenschaften der realen Schaltung repräsentiert sind. Wir beschreiben SystemC-Modelle, die die Eigenschaften von auf Kohlenstoffnanoröhren-Transistoren basierenden Schaltungen abstrahieren und für eine Simulation auf der RT-Ebene zugängli...
متن کاملVirtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML
UML2.0 und SysML versuchen, bewährte Techniken aus der Softwaretechnik in das Systems Engineering zu überführen. Dazu wurden neue Modelle und Profile entwickelt, die den Bedürfnissen der Systementwicklung auf hohen Abstraktionsebenen genügen. Bis jetzt liegt dabei der Fokus auf Modellierungsaspekten. Quantitative Performanzanalyse wird nicht ausreichend in frühen Entwurfsphasen adressiert. In d...
متن کاملBilaterale Preisverhandlungen von Software-Agenten: ein Modell und System zur Analyse des marktplatzspezifischen Verhandlungsspielraumes
A 237001 Deutscher Universitäts-Verlag
متن کاملResiLyzer: Ein Werkzeug zur Analyse der Ausfallsicherheit in paketvermittelten Kommunikationsnetzen
In paketvermittelten Kommunikationsnetzen können Veränderungen des Verkehrsaufkommens oder der Netztopologie (z.B. Ausfall von Komponenten) zu Verbindungsunterbrechungen oder Verschlechterungen der Übertragungsqualität führen. Der ResiLyzer (Resilience Analyzer) [1], [3] quantifiziert solche Risiken und bietet ein breites Spektrum an detaillierten Auswertungsmöglichkeiten. Mit Hilfe der grafisc...
متن کامل